Metamath Proof Explorer

Syntax definition ctrg

Description: The class of all topological division rings.

Ref Expression
Assertion ctrg 
class TopRing