Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.subset_zero_iff

Modification history

2017-11-22 05:33

data/multiset/basic.lean

refactor(data/finset): redefine finsets as subtype of multisets

Deleted multiset.subset_zero_iff View on Github →

2017-11-19 05:53

data/multiset/basic.lean

feat(data/multiset): filter, count, distrib lattice

Added multiset.subset_zero_iff View on Github →