Theorem differentiable_norm_rpow

Modification history