Theorem Multiset.toFinset_nsmul

Modification history