Theorem hasDerivAt_neg

Modification history