Def differentiable_at

Modification history