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 Name Job ID Coverage
  Build
passed build-coq.8.10.dev #36991
fp

00:11:59

passed build-coq.8.7.2 #36995
fp

00:05:23

passed build-coq.8.8.2 #36994
fp

00:06:22

passed build-coq.8.9.0 #36993
fp-timing

00:05:32

passed build-coq.8.9.1 #36992
fp

00:06:46

passed build-coq.dev #36990
fp

00:13:43