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.
feat(data/list/range): add sum lemmas (#2385) Adding the proof that left and right multiplication in a ring commute with list sum.