Database
BASIC ALGEBRAIC STRUCTURES
Ideals
Left regular elements. More kinds of rings
crlreg
Next ⟩
cdomn
Metamath Proof Explorer
Ascii
Structured
Syntax definition
crlreg
Description:
Set of left-regular elements in a ring.
Ref
Expression
Assertion
crlreg
class
RLReg