derive -> differentiable #304
Description
In derive.v, we should formalize the theorem that derive + continuous partial derivatives implies differentiability
{{ message }}
In derive.v, we should formalize the theorem that derive + continuous partial derivatives implies differentiability