Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-22 23:51 de8985c9

View on Github →

fix(finsupp): remove superfluous typeclass argument (#490)

Estimated changes