Theorem Filter.Tendsto.fst_nhds

Modification history

2024-08-02 06:24
Mathlib/Topology/Constructions.lean
chore: backports for leanprover/lean4#4814 (part 12) (#15396) …
Modified Filter.Tendsto.fst_nhdsView on Github →
2024-03-31 21:48
Mathlib/Topology/Constructions.lean
feat: add Tendsto.fst, Tendsto.snd, Tendsto.apply and nhds versions (#11812) …
Added Filter.Tendsto.fst_nhdsView on Github →