Theorem Real.hasDerivAt_sin

Modification history