Theorem List.chain'_append

Modification history