Theorem List.argmin_mem

Modification history