Theorem Multiset.cons_le_of_not_mem

Modification history