Theorem HasDerivAt.hasGradientAt

Modification history