Theorem Multiset.coe_inter

Modification history