Syntax definition cdomn

Description: Class of (ring theoretic) domains.

	Ref	Expression
Assertion	cdomn	$$class\mathrm{Domn}$$