cqqh - Mathbox for Thierry Arnoux

	Mathbox for Thierry Arnoux		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cqqh		Structured version Visualization version Unicode version

Syntax Definition cqqh 30016

Description: Map the rationals into a field.

**Assertion**
Ref	Expression
cqqh	QQHom

See definition df-qqh 30017 for more information.

Colors of variables: wff setvar class