Mathlib Changelog
v4
Changelog
About
Github
Theorem
LocallyFinite.Realizer.to_locallyFinite
Modification history
2023-02-21 07:40
Mathlib/Data/Analysis/Topology.lean
feat: Port Data.Analysis.Topology (#2399)
Added
LocallyFinite.Realizer.to_locallyFinite
View on Github →