Theorem hasStrictDerivAt_pow

Modification history