Some list related lemmas

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

Some more lemmas that I proved for my development.

Merge request reports