Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Totally ordered rings and fields
corng
Next ⟩
cofld
Metamath Proof Explorer
Unicode
Structured
Syntax definition
corng
Description:
Extend class notation with the class of all ordered rings.
Ref
Expression
Assertion
corng
class oRing