Theorem clusterPt_sup

Modification history

2025-04-22 13:56
Mathlib/Topology/ClusterPt.lean
chore(ClusterPt): review API&names about `AccPt` (#24226) …
Added clusterPt_supView on Github →