Theorem Real.deriv_rpow_const'

Modification history