Theorem Differentiable.fderiv_norm_rpow

Modification history