Theorem isLocalExtrOn_const

Modification history