Theorem Multiset.inf_cons

Modification history