Theorem Polynomial.natDegree_divByMonic

Modification history