Theorem logDeriv_sineTerm_eq_cotTerm

Modification history