Theorem Multiset.cons_sigma

Modification history