Database
BASIC ALGEBRAIC STRUCTURES
Subring algebras and ideals
Principal ideal domains
cpid

Next ⟩ df-pid

Metamath Proof Explorer

Ascii
Structured

Syntax definition cpid

Description: Class of principal ideal domains.

		Ref	Expression
	Assertion	cpid	class PID