Theorem IsPrimitiveRoot.sub_one_norm_eq_eval_cyclotomic

Modification history