Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-09 12:23 fdec90ad

View on Github →

chore(data/set/lattice): add a few simp lemmas (#5671)

Estimated changes

added theorem set.Inter_eq_univ
modified theorem set.Inter_univ
modified theorem set.Union_empty
added theorem set.Union_eq_empty
added theorem set.nonempty.of_sUnion
added theorem set.nonempty_Union
added theorem set.nonempty_sUnion
added theorem set.sInter_eq_univ
added theorem set.sUnion_eq_empty