Ehresmann's theorem
In mathematics, Ehresmann's lemma or Ehresmann's fibration theorem states that a smooth mapping where M and N are smooth manifolds such that
is a locally trivial fibration. This is a foundational result in differential topology, and exists in many further variants. It is due to Charles Ehresmann.
...
Wikipedia