Database
BASIC ALGEBRAIC STRUCTURES
Ideals
The subring algebra; ideals
clidl

Next ⟩ crsp

Metamath Proof Explorer

Ascii
Structured

Syntax definition clidl

Description: Ring left-ideal function.

		Ref	Expression
	Assertion	clidl	class LIdeal