more lemmas

2 jobs for !250 with msammler/bitvector in 7 minutes and 37 seconds (queued for 3 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #151463
fp

00:05:07

passed build-coq.8.13.2-mr #151462
fp

00:07:37