Ehresmann's theorem

  1. REDIRECT Ehresmann's lemma

{{R from move}}