Theorem IsPGroup.card_modEq_card_fixedPoints

Modification history