Theorem IsCyclic.exponent_eq_card

Modification history