 Ehresmann fibration theorem

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