Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Topology and algebraic structures
Canonical embedding of the real numbers into a complete ordered field
crrh

Next ⟩ crrext

Metamath Proof Explorer

Ascii
Structured

Syntax definition crrh

Description: Map the real numbers into a complete field.

		Ref	Expression
	Assertion	crrh	class ℝHom