Mathlib Changelog
v4
Changelog
About
Github
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 →