Mathlib v3 is deprecated. Go to Mathlib v4

Theorem dense_embedding.tendsto_vmap_nhds_nhds

Modification history

2018-09-07 17:43
analysis/topology/continuity.lean
order(filter): rename `vmap` to `comap`
Deleted dense_embedding.tendsto_vmap_nhds_nhdsView on Github →
2018-08-29 02:46
analysis/topology/continuity.lean
feat(analysis/topology): density and continuity lemmas (#292) …
Added dense_embedding.tendsto_vmap_nhds_nhdsView on Github →