Theorem IsPGroup.comap_subtype

Modification history