Theorem Multiset.powersetLenAux_nil

Modification history