Theorem Polynomial.quo_add_rem_div_add_rem_div_unique

Modification history

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