Ehresmann fibration theorem (source code)

= Ehresmann fibration theorem
{c}
{wiki}

Every proper surjective <submersion> is a locally trivial smooth <fiber bundle>. In particular, the fibers in a proper smooth family are diffeomorphic.