Theorem Multiset.powersetCard_coe

Modification history