This is an old revision of the document!
Strictly positive real number
Definition
$ \mathbb{R_{>0}} $
Ramifications
Context
13050411
Requirements
I'll have to check which set actually comes first in the TG axiomatization.
Generalizations
Computation
Elaboration
Reference
