Theorem DifferentiableAt.lineDeriv_eq_fderiv

Modification history