Theorem Multiset.join_zero

Modification history