Theorem List.infix_concat

Modification history