Theorem IsCyclic.of_exponent_eq_card

Modification history