Commit 2019-07-04 10:24 34d69b50

chore(data/set): set.mem_preimage_eq becomes an iff (#1174)

• chore(data/set): set.mem_preimage_eq becomes an iff named set.mem_preimage
• fix(measure_theory/measurable_space): proof broken by mem_preimage change
• fix(data/filter/basic)
• fix(topology/uniform_space/separation)
• fix(measure_theory/integration)