Theorem Polynomial.sum_modByMonic_coeff

Modification history