Theorem Multiset.powerset_coe

Modification history