Theorem Real.deriv_cos'

Modification history