Theorem Multiset.cons_bind

Modification history