Theorem Multiset.map_eq_singleton

Modification history