Theorem Multiset.sum_map_singleton

Modification history