Theorem Multiset.rel_flip_eq

Modification history