Theorem List.mem_argmin_iff

Modification history