Database
BASIC ALGEBRAIC STRUCTURES
Rings
Non-unital rings ("rngs")
crng
Next ⟩
df-rng
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
crng
Description:
Extend class notation with class of all non-unital rings.
Ref
Expression
Assertion
crng
class
Rng