Skip to content

Add lemmas about `list_to_map`

Simon Friis Vindum requested to merge simonfv/stdpp:add-lemma into master

Adds two lemmas about list_to_map that seem generally useful.

Merge request reports