Theorem Polynomial.degree_modByMonic_le

Modification history