Theorem Multiset.card_zero

Modification history