Theorem exists_topology_isEmbedding_nat

Modification history

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