Database
REAL AND COMPLEX NUMBERS
Construction and axiomatization of real and complex numbers
Dedekind-cut construction of real and complex numbers
cmq

Next ⟩ crq

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmq

Description: Positive fraction multiplication.

		Ref	Expression
	Assertion	cmq	$class \cdot_{𝑸}$