Theorem List.chain'_isInfix

Modification history