Theorem Multiset.not_mem_zero

Modification history