Theorem List.reverse_concat'

Modification history