Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-05 21:58 65cab910

View on Github →

doc(order/filter): add documentation for filter_upward

Estimated changes

modified theorem filter.tendsto_vmap_iff