Metamath Proof Explorer


Syntax definition ctrg

Description: The class of all topological division rings.

Ref Expression
Assertion ctrg
class TopRing