Theorem Polynomial.monic_normalize

Modification history