Theorem Multiset.card_attach

Modification history