Theorem hasDerivWithinAt_pow

Modification history