Theorem hasGradientAt_iff_hasFDerivAt

Modification history