Theorem Real.logDeriv_cos

Modification history