Theorem locallyFinite_iff_exists_realizer

Modification history

2023-09-29 06:57
Mathlib/Data/Analysis/Topology.lean
chore: exactly 4 spaces in theorems (#7328)
Modified locallyFinite_iff_exists_realizerView on Github →
2023-02-21 07:40
Mathlib/Data/Analysis/Topology.lean
feat: Port Data.Analysis.Topology (#2399)
Added locallyFinite_iff_exists_realizerView on Github →