Theorem Polynomial.isRoot_cyclotomic_iff

Modification history