Theorem Multiset.powersetLenAux_zero

Modification history