Theorem Real.hasStrictDerivAt_cos

Modification history