Theorem Multiset.powersetCard_le_powerset

Modification history