Theorem Multiset.add_sigma

Modification history