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.

Merge request reports