Skip to content
Snippets Groups Projects

Removed unused argument for `map_seq` lemmas.

Passed
Robbert Krebbers created pipeline for commit 22e0ade7
, finished
For master
8 jobs 10 minutes 56 seconds, queued for 0 seconds