Syntax definition czrh

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

	Ref	Expression
Assertion	czrh	$$class\mathrm{\mathbb{Z}RHom}$$