Theorem isLocalMaxOn_const

Modification history