Theorem Polynomial.cyclotomic.monic

Modification history