Theorem Multiset.bind_congr

Modification history