Theorem Multiset.mem_map_of_injective

Modification history