Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-06 17:52 86dd706c

View on Github →

feat(set/lattice): two lemmas about when sInter is empty (#9033)

  • Added sInter_eq_empty_iff
  • Added sInter_nonempty_iff

Estimated changes