Theorem Multiset.monotone_filter_right

Modification history