Theorem hasGradientAt_const

Modification history