Theorem IsGδ.preimage

Modification history

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