Theorem IsGδ.baireSpace_of_t2Space_locallyCompactSpace

Modification history

2026-06-04 20:02
Mathlib/Topology/Baire/LocallyCompactRegular.lean
chore(Topology): generalize `Topology.IsEmbedding.perfectlyNormalSpace` (#39576) …
Added IsGδ.baireSpace_of_t2Space_locallyCompactSpaceView on Github →