Skip to content

New util lemma for sum

Kimaya Bedarkar requested to merge RTS/internships-2021:x_y_lemma into master

Added two new lemmas about sums over partitions in util/sum.v

Merge request reports