Syntax definition csdrg

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

	Ref	Expression
Assertion	csdrg	$$class\mathrm{SubDRing}$$