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