Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-26 13:06 0d07d04e

View on Github →

chore(data/set): add a few lemmas and @[simp] attrs (#8873)

Estimated changes

Modified src/data/set/basic.lean

modified theorem set.inter_eq_left_iff_subset

modified theorem set.inter_eq_right_iff_subset

modified theorem set.inter_univ

added theorem set.union_eq_left_iff_subset

added theorem set.union_eq_right_iff_subset

modified theorem set.univ_inter

Modified src/linear_algebra/multilinear.lean