Theorem Multiset.singleton_join

Modification history