Theorem Multiset.lt_cons_self

Modification history