Theorem accPt_iff_clusterPt

Modification history

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