Theorem Polynomial.modByMonic_eq_mod

Modification history