Theorem Multiset.powersetCard_coe'

Modification history