Def FormalMultilinearSeries.pi

Modification history

2024-09-16 00:14

Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean

feat: analyticity of functions in pi spaces (#16753)

Added FormalMultilinearSeries.pi View on Github →