Theorem Polynomial.normalize_monic

Modification history