Theorem Multiset.powersetCard_mono

Modification history