Theorem hasStrictDerivAt_iff_hasStrictFDerivAt

Modification history