Theorem Polynomial.eq_quo_mul_pow_add_sum_rem_mul_pow

Modification history

2026-03-13 19:39
Mathlib/Algebra/Polynomial/PartialFractions.lean
feat: uniqueness of partial fraction decomposition (#35702) …
Modified Polynomial.eq_quo_mul_pow_add_sum_rem_mul_powView on Github →
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 →