Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-07 19:33 fd453cf1

View on Github →

chore(data/set/basic): add some simp attrs (#9074) Also add set.pairwise_on_union.

Estimated changes

modified theorem set.diff_eq_self
modified theorem set.diff_inter_self
modified theorem set.diff_inter_self_eq_diff
modified theorem set.diff_self_inter
added theorem set.pairwise_on_union
modified theorem set.sep_subset