Ehresmann's fibration theorem