Theorem Multiset.count_nsmul

Modification history