Mathlib v3 is deprecated. Go to Mathlib v4

Theorem open_embedding.tendsto_nhds_iff

Modification history

2021-08-17 10:49
src/topology/maps.lean
chore(topology/maps): add tendsto_nhds_iff lemmas (#8693) …
Added open_embedding.tendsto_nhds_iffView on Github →