Def TestFunction.ofSupportedInCLM

Modification history

2026-02-17 23:08

Mathlib/Analysis/Distribution/TestFunction.lean

chore: bump toolchain to v4.29.0-rc1 (#35459)

Deleted TestFunction.ofSupportedInCLM View on Github →

2025-12-01 09:11

Mathlib/Analysis/Distribution/TestFunction.lean

feat: endow test functions with the natural LF topology (#31806) …

Added TestFunction.ofSupportedInCLM View on Github →