Theorem Polynomial.divByMonic_eq_div

Modification history