Database
BASIC ALGEBRAIC STRUCTURES
Rings
Left regular elements and domains
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