Theorem hasDerivAt_pow

Modification history