Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-09 14:52 08215b55

View on Github →

feat(data/finsupp/basic): lemmas on the support of the tsub of finsupps (#10651)

Estimated changes

added theorem finsupp.support_tsub