Syntax definition ctrg

Description: The class of all topological division rings.

	Ref	Expression
Assertion	ctrg	class TopRing