Theorem List.getLast_concat'

Modification history