Theorem hasStrictFDerivAt_one

Modification history