Theorem Multiset.rel_flip

Modification history