Theorem AlgebraicGeometry.isOpenMap_of_generalizingMap

Modification history

2025-04-03 10:34
Mathlib/AlgebraicGeometry/Morphisms/UniversallyOpen.lean
feat(AlgebraicGeometry): universally open morphisms (#23606)
Added AlgebraicGeometry.isOpenMap_of_generalizingMapView on Github →