Skip to content

GitLab

big_op: make more arguments implicit for the lemmas affected by previous 2 commits 

i.e. all `big_op` lemmas that have a `TCOr` side condition.
2 jobs for !757 with glen/big_op-TCOr-Affine in 7 minutes and 25 seconds (queued for 2 seconds)
merge request
cb10c41d
1 related merge request: !757 big_op: weaken all Absorbing conditions using TCOr and Affine