mathlib3
a77797f9 - feat(data/multiset): add prod_smul
Commit
View On GitHub
Commit
7 years ago
feat(data/multiset): add prod_smul
Author
johoelzl johoelzl
Committer
johoelzl johoelzl
Parents
e9247457
FAQ Terms Privacy Refunds Impressum
Loading