Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-22 22:06 f627d765

View on Github →

chore(data/set/basic): more simp lemmas (#5070) Motivated by #4843

Estimated changes

Modified src/data/set/basic.lean

added theorem set.image_inter_nonempty_iff

modified theorem set.inter_singleton_eq_empty

modified theorem set.inter_singleton_nonempty

modified theorem set.singleton_inter_eq_empty

added theorem set.singleton_inter_nonempty

Modified src/data/set/function.lean

added theorem set.maps_to_id