Theorem Multiset.powersetAux_perm_powersetAux'

Modification history