Theorem Multiset.attach_count_eq_count_coe

Modification history