Theorem isExtrOn_const

Modification history