Theorem Multiset.powersetAux'_nil

Modification history