Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-28 17:33 ed5a3389

View on Github →

feat(data/set/basic): some more basic set lemmas (#288)

Estimated changes

Modified data/set/basic.lean

added theorem set.inter_singleton_ne_empty

added theorem set.mem_prod'

added theorem set.preimage_subset_iff

added theorem set.sub_preimage_iff