Theorem Real.hasStrictFDerivAt_rpow_of_neg

Modification history