Skip to content

GitLab

Merged
Opened by Simon Friis Vindum@simonfvContributor

Add lemmas about `list_to_map`

Adds two lemmas about list_to_map that seem generally useful.