Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.nonempty.ne_empty

Modification history

2020-05-15 21:05
src/data/finset.lean
chore(*): bump to lean-3.12.0 (#2681) …
Added finset.nonempty.ne_emptyView on Github →