Theorem Multiset.map_pmap

Modification history