Theorem Polynomial.div_eq_quo_add_rem_div

Modification history