big_op: weaken all Absorbing conditions using TCOr and Affine

For all big_op lemmas which had an `Absorbing` condition, the condition
has now become an alternative between `Affine` and `Absorbing`. Thus the
lemmas are made more general. This change is spreading the use of the
`TCOr (Affine _) (Absorbing _)` pattern.
2 jobs for !757 with glen/big_op-TCOr-Affine in 16 minutes and 55 seconds (queued for 5 seconds)
merge request
Name Stage Failure
failed
build-coq.8.14.1-mr Build
make[2]: Target 'real-all' not remade because of errors.
make[1]: *** [Makefile.coq:386: all] Error 2
make: *** [Makefile:3: all] Error 2

real 3m53.181s
user 15m2.839s
sys 1m8.370s
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
build-coq.8.13.2 Build
make[2]: Target 'real-all' not remade because of errors.
make[1]: *** [Makefile.coq:343: all] Error 2
make: *** [Makefile:3: all] Error 2

real 4m26.356s
user 16m19.677s
sys 1m16.543s
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1