Skip to content

Some list related lemmas

Michael Sammlerrequested to merge
msammler/stdpp:feature/list_lemmas into master

Some more lemmas that I proved for my development.

Merge request reports