Theorem List.length_concat'

Modification history