Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.disjoint_empty_right

Modification history

2018-07-16 22:13
data/finset.lean
fix(.): fix build
Modified finset.disjoint_empty_rightView on Github →
2018-07-16 14:06
data/finset.lean
feat(data/finset): disjoint finsets
Added finset.disjoint_empty_rightView on Github →