Theorem hasStrictDerivAt_zero

Modification history