Re: [Mathlib-develop] Trig Functions and Symbolics

[Stefan M. <st...@he...>]

king cole wrote:
> Hi,
> 
> As far as I can tell from what I've read in the archives and from 
> experimenting with MathLib, trig functions like cos(x), sin(x) of 
> symbolic variable x aren't supported. Is that correct?
Yes that's correct.

Sorry,
   Stefan.