Theorem Multiset.powerset_cons

Modification history