Syntax definition crlreg

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

	Ref	Expression
Assertion	crlreg	$$class\mathrm{RLReg}$$