Theorem List.argmax_concat

Modification history