Theorem Multiset.revzip_powersetAux

Modification history