Theorem Multiset.count_sub

Modification history