Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jeff Madsen
Division Rings
cdrng
Next ⟩
df-drngo
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cdrng
Description:
Extend class notation with the class of all division rings.
Ref
Expression
Assertion
cdrng
class
DivRingOps