Theorem List.le_of_mem_argmax

Modification history