Theorem Real.hasStrictDerivAt_rpow_const

Modification history