Theorem IsPrimitiveRoot.discr_zeta_eq_discr_zeta_sub_one

Modification history