Theorem Filter.tendsto_bot_right_iff

Modification history

2026-05-19 19:46
Mathlib/Order/Filter/Tendsto.lean
feat(Topology): lemmas about `nhdsSet` filter (#39350)
Added Filter.tendsto_bot_right_iffView on Github →