Fix compilation with Coq 8.10 (which has a weaker `lia`).

4 jobs for ci/robbert/seq_S in 8 minutes and 29 seconds (queued for 1 second)