Theorem Polynomial.degree_add_divByMonic

Modification history