Theorem Differentiable.fun_add_iff_left

Modification history