Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-28 19:40 9ad32e72

View on Github →

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

Estimated changes

Modified data/set/basic.lean

added theorem set.prod_sub_preimage_iff

deleted theorem set.sub_preimage_iff

Modified order/filter.lean

added theorem filter.inter_vmap_sets

added theorem filter.tendsto_prod_iff

added theorem filter.tendsto_prod_self_iff

added theorem filter.vmap_eq_of_inverse