Database
BASIC ALGEBRAIC STRUCTURES
Ideals
Left regular elements. More kinds of rings
cpid

Next ⟩ df-rlreg

Metamath Proof Explorer

Ascii
Structured

Syntax definition cpid

Description: Class of principal ideal domains.

		Ref	Expression
	Assertion	cpid	class PID