Theorem Multiset.nsmul_replicate

Modification history