Theorem List.reverse_infix

Modification history