Removed unused argument for `map_seq` lemmas.

8 jobs for master in 10 minutes and 56 seconds
Status Job ID Name Coverage
  Build
passed #26115
fp
build-coq.8.7.0

00:03:02

passed #26114
fp
build-coq.8.7.1

00:02:59

passed #26113
fp
build-coq.8.7.2

00:02:52

passed #26112
fp-timing
build-coq.8.8.0

00:02:49

passed #26111
fp
build-coq.8.8.1

00:03:00

passed #26110
fp
build-coq.8.8.2

00:03:00

passed #26109
fp-timing
build-coq.8.9.0

00:03:21

passed #26108
fp
build-coq.dev

00:07:59