Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-01 21:21 842328d9

View on Github →

feat(data/finsupp/indicator, algebra/big_operators/finsupp): add some lemmas about finsupp.indicator (#17413) mathlib4 PR: https://github.com/leanprover-community/mathlib4/pull/2258

Estimated changes