Mathlib v3 is deprecated. Go to Mathlib v4

Def function.has_temperate_growth

Modification history

2023-05-31 13:56
src/analysis/schwartz_space.lean
feat(analysis/schwartz_space): Multiplication of Schwartz function and functions of temperate growth (#18649)
Added function.has_temperate_growthView on Github →