Theorem OpenEmbedding.image_mem_nhds

Modification history

2024-10-18 21:29
Mathlib/Topology/Maps/Basic.lean
chore: Rename `OpenEmbedding` to `IsOpenEmbedding` (#17898) …
Deleted OpenEmbedding.image_mem_nhdsView on Github →
2024-08-09 02:03
Mathlib/Topology/Maps/Basic.lean
feat(Topology/Algebra): add `smul_mem_nhds_smul` (#15563) …
Added OpenEmbedding.image_mem_nhdsView on Github →