Theorem Function.argmin_le

Modification history