some lemmas for seq and imap

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

added 1 commit

• caadfa37 - some lemmas for seq and imap

Compare with previous version

added 1 commit

• 22c738b8 - some lemmas for seq and imap

Compare with previous version

added 1 commit

• cfd16e0e - some lemmas for seq and imap

Compare with previous version

I have removed the SetUnfold instance for imap per the discussion in !78 (comment 38018)

Other than my one comment, I think this is ready to be merged.

added 1 commit

• f231bc76 - some lemmas for seq and imap

Compare with previous version

added 1 commit

• 41fa0a31 - some lemmas for seq and imap

Compare with previous version

resolved all discussions

mentioned in commit 348cf509

merged

Merged and many thanks!

Thank you for your feedback on the changes. I have more lemmas for stdpp and Iris, but they have to wait until after the POPL deadline ;)