Metamath Proof Explorer


Syntax definition clidl

Description: Ring left-ideal function.

Ref Expression
Assertion clidl
class LIdeal