Theorem List.argmin_nil

Modification history