mathlib

b697e523 - refactor(ring_theory/power_series/basic): simplify truncation (#6605)

refactor(ring_theory/power_series/basic): simplify truncation (#6605) I'm trying to reduce how much finsupp leaks through the polynomial API, in this case it works quite nicely.