Theorem IsPrimitiveRoot.norm_of_cyclotomic_irreducible

Modification history