Comment on Closure of exponentiation of real algebraic numbers.

<- View Parent
NeatNit@discuss.tchncs.de ⁨3⁩ ⁨months⁩ ago

I see. I missed that word in the question, and I didn’t remember that definition anyway.

source
Sort:hotnewtop