Theorem IsSimpleGroup.prime_card

Modification history