Theorem hasStrictDerivAt_of_hasDerivAt_of_continuousAt

Modification history