Skip to content

Additional lemmas about map_imap

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

Some lemmas that were useful to me in a development.

Merge request reports