Theorem IsPGroup.comap_of_injective

Modification history