Theorem Multiset.powersetAux_perm

Modification history