Theorem hasStrictFDerivAt_zero

Modification history