Theorem List.chain_of_chain_map

Modification history