Theorem Multiset.filter_congr

Modification history