Yes, but the difference between reals and positive reals isn't that big. However, I might be confused on this whole topic (see the other comment I tagged you in).
by Alexei Andreev May 14 2016
Yes, but the difference between reals and positive reals isn't that big. However, I might be confused on this whole topic (see the other comment I tagged you in).