Theorem Polynomial.div_prod_eq_quo_add_sum_rem_div

Modification history

2026-02-25 02:08
Mathlib/Algebra/Polynomial/PartialFractions.lean
feat(Algebra/Polynomial/PartialFractions): generalize to powers (#35000) …
Added Polynomial.div_prod_eq_quo_add_sum_rem_divView on Github →