Syntax definition ctdrg

Description: The class of all topological division rings.

	Ref	Expression
Assertion	ctdrg	$$class\mathrm{TopDRing}$$