Theorem Real.hasStrictDerivAt_const_rpow

Modification history