Theorem Polynomial.degree_modByMonic_lt

Modification history