Theorem Multiset.powersetCardAux_cons

Modification history