Skip to content

GitLab

style nits

2 jobs for !343 with ralf/fold in 4 minutes and 39 seconds (queued for 7 seconds)
latest merge request
2b560f64
1 related merge request: !343 some more lemmas about list folding