Theorem List.minimum_concat

Modification history