Mathlib Changelog
v4
Changelog
About
Github
Theorem
Filter.Tendsto.snd_nhds
Modification history
2024-08-02 06:24
Mathlib/Topology/Constructions.lean
chore: backports for leanprover/lean4#4814 (part 12) (#15396) …
Modified
Filter.Tendsto.snd_nhds
View 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.snd_nhds
View on Github →