Database
BASIC ALGEBRAIC STRUCTURES
Subring algebras and ideals
Left ideals and spans
clidl

Next ⟩ crsp

Metamath Proof Explorer

Ascii
Unicode

Syntax definition clidl

Description: Ring left-ideal function.

		Ref	Expression
	Assertion	clidl	$class LIdeal$