Theorem not_isCyclic_iff_exponent_eq_prime

Modification history