Theorem Finsupp.toMultiset_toFinsupp

Modification history