Theorem Multiset.coe_sigma

Modification history