Theorem Function.HasTemperateGrowth.comp'

Modification history

2025-12-10 20:35
Mathlib/Analysis/Distribution/TemperateGrowth.lean
feat(Analysis/Distribution): composition of temperate growth functions (#32297) …
Added Function.HasTemperateGrowth.comp'View on Github →