Theorem exists_clusterPt_of_compactSpace

Modification history

2024-01-29 06:37
Mathlib/Topology/Compactness/Compact.lean
feat: minor topological improvements (#9908) …
Added exists_clusterPt_of_compactSpaceView on Github →