Theorem List.argmax_eq_none

Modification history