Theorem TopologicalSpace.Opens.mem_top

Modification history

2024-07-19 11:08

Mathlib/Topology/Sets/Opens.lean

feat(AlgebraicGeometry): Being an isomorphism is local at the target. (#14882)

Added TopologicalSpace.Opens.mem_top View on Github →