mathlib3

cfcc3a1b - chore(data/finsupp/basic): make arguments explicit (#14551)

chore(data/finsupp/basic): make arguments explicit (#14551) This follow the pattern that arguments to an `=` lemma should be explicit if they're not implied by other arguments.