Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-13 16:52 b29ab1b5

View on Github →

feat(data/finsupp): add support_neg

Estimated changes

added theorem finsupp.support_neg