mathlib
57911c5a - chore(finsupp/basic): weaken hypotheses (#18874)

Commit

2 years ago

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

Author

ericrbg

Parents