Theorem Multiset.map_filter

Modification history