Theorem List.le_of_mem_argmin

Modification history