Theorem Real.deriv_cos

Modification history