Skip to content
Snippets Groups Projects
Commit 88a3baa1 authored by Marijn van Wezel's avatar Marijn van Wezel
Browse files

Actually give an explicit name to the IH

parent 70772e14
No related branches found
No related tags found
1 merge request!577Add `gmultiset_map` and associated lemmas
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 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