Theorem differentiable_inner

Modification history