Theorem Multiset.sigma_singleton

Modification history