Syntax definition csdrg

Description: Syntax for subfields (sub-division-rings).

	Ref	Expression
Assertion	csdrg	class SubDRing