Theorem Multiset.card_powersetLen

Modification history