Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.tendsto.if'

Modification history

2023-01-31 16:05
src/order/filter/basic.lean
chore(order/filter/basic): protect 3 lemmas (#18331)
Deleted filter.tendsto.if'View on Github →
2022-12-14 17:11
src/order/filter/basic.lean
feat(measure_theory/covering/liminf_limsup): add lemma `blimsup_cthickening_mul_ae_eq` (#17803)
Added filter.tendsto.if'View on Github →