Theorem Polynomial.degree_divByMonic_le

Modification history