Theorem isOpenMap_iff_isOpenMap_of_iSup_eq_top

Modification history

2024-07-19 11:08
Mathlib/Topology/LocalAtTarget.lean
feat(AlgebraicGeometry): Being an isomorphism is local at the target. (#14882)
Added isOpenMap_iff_isOpenMap_of_iSup_eq_topView on Github →