Theorem differentiable_neg

Modification history