More lemmas about [map_imap].

I hope these are at the right place!

Thanks for the MR, I left some comments.

added 1 commit

• 96bcf9f5 - More lemmas about [map_imap].

Compare with previous version

resolved all threads

I was wondering, shouldn't we also rename lookup_imap into lookup_map_imap for consistency? The name of this function was the reason for me not using map_imap prefix everywhere.

added 1 commit

• 3eaa2039 - More lemmas about [map_imap].

Compare with previous version

resolved all threads

added 3 commits

• 3eaa2039...d983fe55 - 2 commits from branch iris:master
• 5e016fad - More lemmas about [map_imap].

Compare with previous version

resolved all threads

added 1 commit

• 72283f13 - More lemmas about [map_imap].

Compare with previous version

resolved all threads

Merging! Thanks for taking all my comments into account.