Theorem Differentiable.mul

Modification history