Theorem isLocalMinOn_const

Modification history