Theorem Multiset.inf_coe

Modification history