Commit 2024-07-18 14:25 32330d83

View on Github →

feat(Topology/Basic): add some AccPt lemmas (#14787) Add some lemmas about AccPt.

Estimated changes

added theorem AccPt.clusterPt
added theorem accPt_sup
added theorem frequently_nhds_iff