More lemmas about [map_imap].

Merged Rodolphe Lepigre requested to merge lepigre/stdpp:more_imap into master

I hope these are at the right place!

Merge request reports