Theorem frattini_le_comap_frattini_of_surjective

Modification history