mathlib
09d572d7 - feat(algebra/big_operators): additive versions of multiset lemmas (#6463)

Commit

4 years ago

feat(algebra/big_operators): additive versions of multiset lemmas (#6463)

Author

b-mehta

b-mehta

Parents

Loading