Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-28 20:10 cd731156

View on Github →

refactor(data/set/basic): clean up #288 and #289

Estimated changes

deleted theorem set.mem_prod'
added theorem set.mk_mem_prod
modified theorem set.univ_prod_univ
deleted theorem filter.inter_vmap_sets
modified theorem filter.vmap_eq_of_inverse