some lemmas for seq and imap

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

Some lemmas regarding seq and imap that I use in my development

Merge request reports