Theorem Polynomial.cyclotomic_eq_prod_X_sub_primitiveRoots

Modification history