Database
BASIC TOPOLOGY
Filters and filter bases
Topological rings, fields, vector spaces
ctrg
Next ⟩
ctdrg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ctrg
Description:
The class of all topological division rings.
Ref
Expression
Assertion
ctrg
class TopRing