Syntax definition cdomn

Description: Class of (ring theoretic) domains.

	Ref	Expression
Assertion	cdomn	class Domn