Theorem Filter.Tendsto.fst

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