Theorem List.chain_of_chain_cons

Modification history