Theorem IsPGroup.iff_card

Modification history