Database
REAL AND COMPLEX NUMBERS
Construction and axiomatization of real and complex numbers
Dedekind-cut construction of real and complex numbers
crq
Next ⟩
cltq
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
crq
Description:
Positive fraction reciprocal operation.
Ref
Expression
Assertion
crq
class
*
𝑸