feat(RingTheory/PowerSeries): add lemmas on formal power series (#7294) · leanprover-community/mathlib4@fc88c1f · GitHub

Commit

feat(RingTheory/PowerSeries): add lemmas on formal power series (#7294)

Browse files

Add lemmas on truncation of pormal power series



Co-authored-by: Richard M. Hill <86743862+rmhi@users.noreply.github.com>

Loading branch information

rmhi and rmhi committed Sep 22, 2023

1 parent c97e6da commit fc88c1f