Theorem List.argmax_cons

Modification history