Theorem Multiset.zero_sigma

Modification history