Theorem Finsupp.card_toMultiset

Modification history