Theorem Multiset.forall_mem_cons

Modification history