Syntax definition cirng

Description: Integral subring of a ring.

	Ref	Expression
Assertion	cirng	$$class\mathrm{IntgRing}$$