Theorem Multiset.le_zero

Modification history