Theorem List.chain_map_of_chain

Modification history