Theorem hasStrictDerivAt_const

Modification history