Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-01-23 10:09 6e492fdb

View on Github →

fix(/finsupp/): add missing decidable arguments in lemma statements (#18251) I missed these files in #18241

Estimated changes

modified theorem finsupp.prod_add_index
modified theorem finsupp.indicator_apply
modified theorem finsupp.indicator_of_mem
modified theorem finsupp.subset_support_tsub