Theorem Multiset.coe_singleton

Modification history