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.
Ah, so this way we have two "subseteq" instances, I see.
Maybe add a comment explaining that this instance deliberately does not exist?