Theorem List.chain'_flatten

Modification history