Theorem Embedding.toOpenEmbedding_of_surjective

Modification history

2024-10-18 21:29
Mathlib/Topology/Maps/Basic.lean
chore: Rename `OpenEmbedding` to `IsOpenEmbedding` (#17898) …
Deleted Embedding.toOpenEmbedding_of_surjectiveView on Github →
2024-07-11 10:12
Mathlib/Topology/Maps.lean
chore: add missing spaces around : (#13658) …
Modified Embedding.toOpenEmbedding_of_surjectiveView on Github →
2024-01-08 13:15
Mathlib/Topology/Maps.lean
chore(Topology/Maps): small clean-ups (#9268) …
Modified Embedding.toOpenEmbedding_of_surjectiveView on Github →
2023-12-25 18:43
Mathlib/Topology/Maps.lean
feat: bijective local homeomorphisms are homeomorphisms (#9247) …
Added Embedding.toOpenEmbedding_of_surjectiveView on Github →