Theorem Multiset.nsmul_cons

Modification history