Database
BASIC ALGEBRAIC STRUCTURES
Ideals
Principal ideal rings. Divisibility in the integers
clpir

Next ⟩ df-lpidl

Metamath Proof Explorer

Ascii
Structured

Syntax definition clpir

Description: Class of left principal ideal rings.

		Ref	Expression
	Assertion	clpir	class LPIR