Theorem List.infix_append

Modification history