Theorem List.argmax_nil

Modification history