Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-04-26 20:55 57911c5a

View on Github →

chore(finsupp/basic): weaken hypotheses (#18874) these are already in mathlib4, I just missed them in mathlib3.

Estimated changes

modified theorem finsupp.coe_smul
modified theorem finsupp.smul_apply
modified theorem is_smul_regular.finsupp