[Merged by Bors] - feat(RingTheory/MvPowerSeries/Trunc): generalize truncation lemmas#39625

justus-springer wants to merge 6 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/MvPowerSeries_trunc_lemmasjustus-springer/mathlib4:justus/MvPowerSeries_trunc_lemmasCopy head branch name to clipboard