Theorem differentiableOn_pow

Modification history