Skip to content

GitLab

Add lemmas about `list_to_map`

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

Adds two lemmas about list_to_map that seem generally useful.