Theorem Multiset.zero_bind

Modification history