Theorem hasStrictFDerivAt_iff_hasStrictDerivAt

Modification history