Theorem Differentiable.fun_sub_iff_left

Modification history