Theorem Differentiable.fun_sub

Modification history