Database
BASIC ALGEBRAIC STRUCTURES
Rings
Ring unit
cur
Next ⟩
df-ur
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cur
Description:
Extend class notation with ring unit.
Ref
Expression
Assertion
cur
class
1
r