Theorem Real.deriv_rpow_const

Modification history