Commit 2023-03-29 09:28 126877ad

View on Github →

feat: port Data.Polynomial.PartialFractions (#3133)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/Polynomial/PartialFractions.lean

added theorem div_eq_quo_add_rem_div_add_rem_div

added theorem div_eq_quo_add_sum_rem_div