Theorem isSimpleGroup_of_prime_card

Modification history