Theorem Multiset.map_nsmul

Modification history