Syntax definition czrh

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

	Ref	Expression
Assertion	czrh	class ℤRHom