Covering lemma (source code)

= Covering lemma
{wiki=Covering_lemma}