Theorem Multiset.bind_singleton

Modification history