Theorem card_orderOf_eq_totient_aux₂

Modification history