Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-11 10:13 4b84aac9

View on Github →

fix(data/finsupp): duplicated instance

Estimated changes

modified theorem finsupp.mul_sum