Theorem List.chain_pmap_of_chain

Modification history