Theorem Real.differentiable_cos

Modification history