Theorem accPt_principal_iff_nhdsWithin

Modification history

2025-04-22 13:56

Mathlib/Topology/ClusterPt.lean

chore(ClusterPt): review API&names about `AccPt` (#24226) …

Added accPt_principal_iff_nhdsWithin View on Github →