Theorem Multiset.join_add

Modification history