Theorem Multiset.zero_ne_cons

Modification history