Theorem differentiable_pow

Modification history