Commit 2023-09-08 04:16 4df62d3a

View on Github →

feat: add Finsupp.sum_cons (#6604) Adds Finsupp.sum_cons. Analogous to Fin.sum_cons, but for the Finsupp version.

Estimated changes

added theorem Finsupp.sum_cons'
added theorem Finsupp.sum_cons