Mathlib

Schwartz space 𝒮 is smooth functions that die faster than any polynomial grows.