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.sndView on Github →