Theorem List.chain_cons

Modification history