Theorem Multiset.toFinset_filter

Modification history