Chow's moving lemma (source code)

= Chow's moving lemma
{wiki=Chow's_moving_lemma}