Theorem isLocalExtr_const

Modification history