Theorem multiset.map_nsmul
Modification history
2021-04-16 05:10
src/data/multiset/basic.lean
feat(data/multiset/basic): some multiset lemmas, featuring sum inequalities (#7090) …
Modified multiset.map_nsmulView on Github →2021-04-14 08:29
src/data/multiset/basic.lean
refactor(*): kill nat multiplication diamonds (#7084) …
Modified multiset.map_nsmulView on Github →2020-10-19 22:45
src/data/multiset/basic.lean
chore(data/multiset): add a few lemmas (#4697)
Added multiset.map_nsmulView on Github →