Theorem Multiset.sub_inter

Modification history