Theorem differentiableAt_pow

Modification history