Database
REAL AND COMPLEX NUMBERS
Construction and axiomatization of real and complex numbers
Dedekind-cut construction of real and complex numbers
cplq
Next ⟩
cmq
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cplq
Description:
Positive fraction addition.
Ref
Expression
Assertion
cplq
class
+
Q