Theorem Polynomial.smul_modByMonic

Modification history