Metamath Proof Explorer


Syntax definition cqqh

Description: Map the rationals into a field.

Ref Expression
Assertion cqqh class ℚHom