Theorem Multiset.sigma_add

Modification history