Theorem Real.hasStrictDerivAt_const_rpow_of_neg

Modification history