Theorem Polynomial.eq_quo_mul_pow_add_sum_rem_mul_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_pow_add_sum_rem_mul_powView on Github →