Theorem Multiset.cons_add

Modification history