Theorem hasDerivAt_const

Modification history