Theorem Real.hasStrictFDerivAt_rpow_of_pos

Modification history