Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.count_cons

Modification history

2020-10-19 22:45
src/data/multiset/basic.lean
chore(data/multiset): add a few lemmas (#4697)
Added multiset.count_consView on Github →
2020-10-19 15:37
src/data/multiset/basic.lean
Revert "chore(data/multiset): add a few lemmas" …
Deleted multiset.count_consView on Github →
2020-10-19 15:30
src/data/multiset/basic.lean
chore(data/multiset): add a few lemmas
Added multiset.count_consView on Github →