Theorem List.argmin_eq_none

Modification history