Database
REAL AND COMPLEX NUMBERS
Construction and axiomatization of real and complex numbers
Dedekind-cut construction of real and complex numbers
cltpq
Next ⟩
ceq
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cltpq
Description:
Positive pre-fraction ordering relation.
Ref
Expression
Assertion
cltpq
class