Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Topology and algebraic structures
Canonical embedding of the field of the rational numbers into a division ring
cqqh
Next ⟩
df-qqh
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cqqh
Description:
Map the rationals into a field.
Ref
Expression
Assertion
cqqh
class QQHom