Theorem Multiset.powersetCardAux_nil

Modification history