Theorem Function.HasTemperateGrowth.add

Modification history

2025-11-05 05:40
Mathlib/Analysis/Distribution/TemperateGrowth.lean
feat(Analysis/Distribution): basic algebraic properties of functions of temperate growth (#31112)
Added Function.HasTemperateGrowth.addView on Github →