Skip to content

Some list related lemmas

Michael Sammler requested to merge msammler/stdpp:feature/list_lemmas into master

Some more lemmas that I proved for my development.

Merge request reports