The original definition by Ehresmann required G and M to possess a smooth structure such that only m is smooth and the maps g ↦ ↦ 1 s ( g ) and g ↦ ↦ 1 t ( g ) are subimmersions (i.e. have locally constant rank). Such definition proved to be too weak and was replaced by Pradines with the one currently used.