Commit 2020-04-10 18:03 29080c8c

View on Github →

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

Estimated changes