Theorem Topology.IsEmbedding.t6Space

Modification history

2026-06-04 20:02
Mathlib/Topology/Separation/GDelta.lean
chore(Topology): generalize `Topology.IsEmbedding.perfectlyNormalSpace` (#39576) …
Added Topology.IsEmbedding.t6SpaceView on Github →