Merge branch 'big_sepL-inv' into 'master'

Add big_sepL2_nil_inv_l/r.

See merge request !442
2 jobs for master in 21 minutes and 4 seconds
Status Name Job ID Coverage
  Build
passed build-stdpp.dev-coq.8.11.1 #70309
fp

00:11:16

passed build-stdpp.dev-coq.dev #70310
fp

00:21:04