Theorem differentiable_const

Modification history