Theorem CommGroup.is_simple_iff_isCyclic_and_prime_card

Modification history