Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!509
Lemmas about big op on lists for
!485
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Sammler
requested to merge
msammler/big_op_lemmas
into
master
Sep 20, 2020
Overview
9
Commits
1
Pipelines
0
Changes
4
Expand
This MR contains some lemmas about big ops on lists necessary for
!485 (merged)
.
Merge request reports