Theorem Sylow.exists_comap_eq_of_injective

Modification history