Theorem Real.hasStrictDerivAt_sin

Modification history