Theorem Multiset.mem_cons_self

Modification history