Theorem SchwartzMap.hasTemperateGrowth

Modification history

2025-09-29 20:43
Mathlib/Analysis/Distribution/SchwartzSpace.lean
feat(SchwartzSpace): integration by parts in 1d (#29846)
Added SchwartzMap.hasTemperateGrowthView on Github →