Skip to content
Snippets Groups Projects

Add lemma `foldr_cons`.

Passed
Robbert Krebbers created pipeline for commit 78a390c9
, finished
Related merge request !416 to merge robbert/foldr_cons
merge request
2 jobs 8 minutes 33 seconds, queued for 142 seconds