Syntax definition clidl

Description: Ring left-ideal function.

	Ref	Expression
Assertion	clidl	$$class\mathrm{LIdeal}$$