Equiv instance for multisets
The default Equiv
instance for multiset is a bit strange.
I would expect it to coincide with (extensional) equality, but it is actually equality of the underlying sets,
due to the collection_equiv
instance.
The default Equiv
instance for multiset is a bit strange.
I would expect it to coincide with (extensional) equality, but it is actually equality of the underlying sets,
due to the collection_equiv
instance.