Theorem Multiset.attach_cons

Modification history