Theorem Multiset.mem_cons

Modification history