Some lemmas regarding seq and imap that I use in my development
seq
imap
This will create a new commit in order to revert the existing changes.
