Mathlib Changelog
v4
Changelog
About
Github
Theorem
Filter.Tendsto.snd
Modification history
2024-03-31 21:48
Mathlib/Order/Filter/Prod.lean
feat: add Tendsto.fst, Tendsto.snd, Tendsto.apply and nhds versions (#11812) …
Added
Filter.Tendsto.snd
View on Github →