Theorem Multiset.cons_zero

Modification history