Merge branch 'big_op2_swap' into 'master'

Add `big_sepL2_swap`

See merge request !307
6 jobs for master in 23 minutes and 42 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #40572
fp
build-coq.8.10.dev

00:13:56

passed #40576
fp
build-coq.8.7.2

00:10:32

passed #40575
fp
build-coq.8.8.2

00:13:01

passed #40574
fp-timing
build-coq.8.9.0

00:10:46

passed #40573
fp
build-coq.8.9.1

00:13:23

passed #40571
fp
build-coq.dev

00:16:07