Theorem IsPGroup.to_subgroup

Modification history