Theorem Multiset.cons_coe

Modification history