Theorem Complex.logDeriv_cos

Modification history