Theorem IsPrimitiveRoot.minpoly_dvd_cyclotomic

Modification history