Metamath Proof Explorer


Syntax definition crlreg

Description: Set of left-regular elements in a ring.

Ref Expression
Assertion crlreg class RLReg