Theorem Multiset.zero_ne_singleton

Modification history