Mathlib Changelog
v4
Changelog
About
Github
Def
LocallyFiniteSupport
Modification history
2026-02-18 08:14
Mathlib/Topology/LocallyFinsupp.lean
feat(Topology): Connecting different notions of locally finite (#26259) …
Added
LocallyFiniteSupport
View on Github →