Theorem Multiset.exists_multiset_eq_map_quot_mk

Modification history