Skip to content

some more lemmas about list folding

Ralf Jung requested to merge ralf/fold into master

Merge request reports