Theorem Multiset.nsmul_repeat

Modification history