Skip to content

Add a few lemmas to sum

Sergey Bozhko requested to merge sbozhko/rt-proofs:sum_lemmas into master

Just added a few auxiliary lemmas to sum.v

Merge request reports