Theorem IsPGroup.commutative_of_card_eq_prime_sq

Modification history