Theorem isCountablyCompact_iff_infinite_subset_has_accPt

Modification history

2026-03-27 17:46
Mathlib/Topology/Compactness/CountablyCompact.lean
feat(Topology/Compactness): add countably compact sets (#36174) …
Added isCountablyCompact_iff_infinite_subset_has_accPtView on Github →