Theorem differentiableWithinAt_pow

Modification history