Theorem Multiset.card_toFinset

Modification history