Theorem Polynomial.cyclotomic.roots_to_finset_eq_primitiveRoots

Modification history