Theorem exists_seq_infinite_isOpen_pairwise_disjoint

Modification history

2025-10-28 20:18
Mathlib/Topology/NatEmbedding.lean
feat(Topology): infinite T2 spaces (#30661)
Added exists_seq_infinite_isOpen_pairwise_disjointView on Github →