Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.powerset_aux'_nil

Modification history

2020-07-01 10:05

src/data/multiset/basic.lean

chore(data/finset, data/multiset): split into smaller files (#3256) …

Modified multiset.powerset_aux'_nil View on Github →

2018-03-15 00:57

data/multiset.lean

feat(data/finset): add finset.powerset

Added multiset.powerset_aux'_nil View on Github →