Theorem hasDerivAt_abs_neg

Modification history