Theorem Differentiable.fun_comp

Modification history