Theorem Real.differentiable_rpow_const

Modification history