Theorem List.argmin_eq_some_iff

Modification history