Theorem Real.hasDerivAt_rpow_const

Modification history