Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.filter_cons

Modification history

2021-08-26 19:37

src/data/multiset/basic.lean

feat(data/multiset/basic): add some lemmas (#8787)

Added multiset.filter_cons View on Github →