Def FormalMultilinearSeries
Modification history
2025-02-19 11:45
Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean
refactor(Analysis/Calculus/FormalMultilinearSeries): generalize to additive monoids (#9467) …
Modified FormalMultilinearSeriesView on Github →