Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.tendsto_prod_self_iff

Modification history

2019-02-12 14:09

src/order/filter/basic.lean

refactor(order/filter): move lift and lift' to separate file

Modified filter.tendsto_prod_self_iff View on Github →

2018-08-28 19:40

order/filter.lean

feat(order/filter): More lemmas from perfectoid project (#289)

Added filter.tendsto_prod_self_iff View on Github →