Theorem IsPGroup.comap_of_ker_isPGroup

Modification history