Theorem Multiset.revzip_powersetAux_perm_aux'

Modification history