Theorem Real.logDeriv_sin

Modification history