Theorem IsCyclic.card_orderOf_eq_totient

Modification history