Theorem exists_infinite_discreteTopology

Modification history

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