Added sum_list_with_in lemma
added 1 commit
Compare with previous version
It also seems that one of the pipelines fails. I assume that is because because I did not explicitly name the hypothesis H.
Is there a way to update this MR or do I have to create a new one with the changes?
It looks like you already figured that out, but here it's nonetheless: push your changes.
resolved all threads
merged
mentioned in commit 0c72d020
