Theorem Multiset.map_traverse

Modification history