Theorem isLocalMax_const

Modification history