Theorem IsPGroup.of_card

Modification history