Skip to content
Snippets Groups Projects
Commit 3983fa93 authored by Robbert Krebbers's avatar Robbert Krebbers Committed by Ralf Jung
Browse files

shorter proof

parent 60f310e6
No related branches found
No related tags found
1 merge request!315add some lookup_{union,difference} lemmas
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 2 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment