Theorem List.infix_append'

Modification history