Theorem List.chain_append_cons_cons

Modification history