Theorem List.mem_argmax_iff

Modification history