Theorem Multiset.powersetLen_le_powerset

Modification history