Theorem Multiset.toList_eq_nil

Modification history