Theorem Multiset.bind_cons

Modification history