In mathematics, or specifically, in differential topology, Ehresmann's lemma or Ehresmann's fibration theorem states that if a smooth mapping , where and are smooth manifolds, is
a surjective submersion, and
a proper map (in particular, this condition is always satisfied if M is compact),
then it is a locally trivial fibration. This is a foundational result in differential topology due to Charles Ehresmann, and has many variants.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.