Theorem Polynomial.eq_quo_mul_prod_add_sum_rem_mul_prod

Modification history

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