Theorem Option.map_pmap

Modification history