Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-27 23:21 09d572d7

View on Github →

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

Estimated changes