Theorem Sylow.exists_comap_eq_of_ker_isPGroup

Modification history