Database
BASIC ALGEBRAIC STRUCTURES
Rings
Ring unity (multiplicative identity)
cur
Next ⟩
df-ur
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cur
Description:
Extend class notation with ring unity.
Ref
Expression
Assertion
cur
class 1r