Theorem Multiset.filter_cons

Modification history