Theorem List.pmap_eq_map_attach

Modification history