range): add sum lemmas (#2385)

Commit

5 years ago

feat(data/list/range): add sum lemmas (#2385) Adding the proof that left and right multiplication in a ring commute with list sum.

References

Author

kbuzzard

Parents