): add missing decidable arguments in lemma statements (#18251)

Commit

2 years ago

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

Author

eric-wieser

Parents

mathlib 6e492fdb - fix(*/finsupp/*): add missing decidable arguments in lemma statements (#18251)