Theorem Polynomial.modByMonic_one

Modification history