Theorem differentiableOn_neg

Modification history