Additional changes in list's lemmas.

Status Job ID Name Coverage
  Build
canceled #39355
fp
build-coq.8.10.dev

canceled #39361
fp
build-coq.8.7.2

canceled #39360
fp-timing
build-coq.8.8.0

canceled #39359
fp
build-coq.8.8.1

canceled #39358
fp
build-coq.8.8.2

canceled #39357
fp-timing
build-coq.8.9.0

canceled #39356
fp
build-coq.8.9.1

canceled #39354
fp
build-coq.dev