Skip to content
Snippets Groups Projects
Commit 1f7d13f3 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'robbert/omap' into 'master' 

Various `omap` lemmas for finite maps; generalize `map_size_{insert,delete}`.

See merge request !206
parents e386a738 0b4f16bf
No related branches found
No related tags found
1 merge request!206Various `omap` lemmas for finite maps; generalize `map_size_{insert,delete}`.
Pipeline #40852 passed