Theorem IsPGroup.nontrivial_iff_card

Modification history