Theorem List.not_lt_of_mem_argmin

Modification history