Theorem hasStrictFDerivAt_pow

Modification history