Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-26 19:37 83490fcd

View on Github →

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

Estimated changes

added theorem multiset.countp_cons
added theorem multiset.countp_map
added theorem multiset.filter_cons
added theorem multiset.filter_nsmul
modified theorem multiset.mem_nsmul
added theorem multiset.nsmul_cons
added theorem multiset.nsmul_repeat
added theorem multiset.prod_nonneg