Re: mathlib

[Coroutines <coroutines@...>]

On Mon, Apr 7, 2014 at 9:11 AM, Roberto Ierusalimschy <roberto@inf.puc-rio.br> wrote:

> > http://en.wikipedia.org/wiki/List_of_mathematical_functions#Elementary_transcendental_functions
>
> Also http://en.wikipedia.org/wiki/Elementary_function .

I believe those definitions include many other functions not in mathlib
(and even not in mathx). Should we add them all?

-- Roberto

no no, that would be crazy.  just everything math-related descendant of: http://en.wikipedia.org/wiki/List_of_lists_of_lists