Theorem Multiset.filter_map

Modification history