Abstract: | Let be an algebraically closed field of arbitrary characteristic, and let be a surjective morphism of connected pro-affine algebraic groups over . We show that if is bijective and separable, then is an isomorphism of pro-affine algebraic groups. Moreover, is separable if and only if (its differential) is surjective. Furthermore, if is separable, then . |