Theorem Multiset.sub_cons

Modification history