Theorem Multiset.coe_sub

Modification history