Theorem Polynomial.eq_quo_mul_prod_pow_add_sum_rem_mul_prod_pow

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_pow_add_sum_rem_mul_prod_powView on Github →