Theorem Polynomial.quo_mul_pow_add_sum_rem_mul_pow_unique

Modification history

2026-03-13 19:39
Mathlib/Algebra/Polynomial/PartialFractions.lean
feat: uniqueness of partial fraction decomposition (#35702) …
Added Polynomial.quo_mul_pow_add_sum_rem_mul_pow_uniqueView on Github →