Theorem Multiset.singleton_ne_zero

Modification history