Theorem TopologicalSpace.IsOpenCover.generalizingMap_iff_restrictPreimage

Modification history

2025-04-03 10:34
Mathlib/Topology/LocalAtTarget.lean
feat(AlgebraicGeometry): universally open morphisms (#23606)
Added TopologicalSpace.IsOpenCover.generalizingMap_iff_restrictPreimageView on Github →