Skip to content

Lemmas about big op on lists for !485

Michael Sammler requested to merge msammler/big_op_lemmas into master

This MR contains some lemmas about big ops on lists necessary for !485 (merged).

Merge request reports