Theorem Function.not_lt_argmin

Modification history