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

'delete' is map-specific, no need for 'map' prefix

parent 69663cd6
No related branches found
No related tags found
1 merge request!234some map lemmas
Pipeline #43430 passed