Theorem OpenPartialHomeomorph.isOpenEmbedding

Modification history

2026-07-17 10:50
Mathlib/Topology/OpenPartialHomeomorph/Basic.lean
chore: rename `OpenPartialHomeomorph.to_isOpenEmbedding` (#41854) …
Added OpenPartialHomeomorph.isOpenEmbeddingView on Github →