Theorem Topology.IsInducing.perfectlyNormalSpace

Modification history

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