Merge branch 'big_sepL2_app_inv_2' into 'master'

Add `big_sepL2_app_inv_2`.

See merge request !292
6 jobs for master in 19 minutes and 28 seconds (queued for 3 minutes and 1 second)
Status Job ID Name Coverage
  Build
passed #36991
fp
build-coq.8.10.dev

00:11:59

passed #36995
fp
build-coq.8.7.2

00:05:23

passed #36994
fp
build-coq.8.8.2

00:06:22

passed #36993
fp-timing
build-coq.8.9.0

00:05:32

passed #36992
fp
build-coq.8.9.1

00:06:46

passed #36990
fp
build-coq.dev

00:13:43