Draft: Drop misleading gmultiset_simple_set instance
2 unresolved threads
2 unresolved threads
Compare changes
+ 0
− 9
@@ -119,15 +119,6 @@ Section basic_lemmas.
@@ -119,15 +119,6 @@ Section basic_lemmas.