Theorem Multiset.subset_zero

Modification history