Theorem List.maximum_concat

Modification history