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

Commit

4 years ago

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

Author

atarnoam

Parents