Blow-up lemma (source code)

= Blow-up lemma
{wiki=Blow-up_lemma}