big_op: avoid erewrite in proofs

2 jobs for !757 with glen/big_op-TCOr-Affine in 12 minutes and 32 seconds (queued for 4 seconds)
merge request