Theorem IsCompact.exists_clusterPt

Modification history

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