Theorem List.reverseRecOn_concat

Modification history