Theorem Polynomial.modByMonic_eq_sub_mul_div

Modification history