Skip to content
GitLab

Additional lemmas about map_imap

Merged Alix Trieu requested to merge atrieu/stdpp:map_imap_extra into master

Some lemmas that were useful to me in a development.