Theorem Multiset.cons_ne_zero

Modification history