Source: wikibot/chow-s-moving-lemma

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