Metamath Proof Explorer


Syntax definition czrh

Description: Map the rationals into a field, or the integers into a ring.

Ref Expression
Assertion czrh class ℤRHom