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

Unicode
Structured

Syntax definition crq

Description: Positive fraction reciprocal operation.

		Ref	Expression
	Assertion	crq	class *Q