Theorem IsCyclic.iff_exponent_eq_card

Modification history