More TCForall lemmas.

4 jobs for master in 8 minutes and 2 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #3208
fp-timing
stdpp-coq8.5.3

00:05:20

passed #3207
fp-timing
stdpp-coq8.6

00:01:42

passed #3206
fp-timing
stdpp-coq8.6.1

00:02:39

passed #3205
fp-timing
stdpp-coq8.7

00:01:46