Theorem Polynomial.degree_divByMonic_lt

Modification history