Theorem isLocalMin_const

Modification history