Theorem Multiset.map_singleton

Modification history