Theorem Multiset.sizeOf_lt_sizeOf_of_mem

Modification history