proofmode: normalize big_opL

5 jobs for ci/ralf/telescopes in 2 minutes and 25 seconds (queued for 5 minutes and 16 seconds)
Status Job ID Name Coverage
  Build
canceled #15690
fp
build-coq.8.7.1

canceled #15689
fp
build-coq.8.7.2

canceled #15688
fp-timing
build-coq.8.8.0

00:02:25

canceled #15687
fp
build-coq.8.8.dev

canceled #15686
fp
build-coq.dev

00:01:17