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

Next ⟩ cpid

Metamath Proof Explorer

Ascii
Structured

Syntax definition cidom

Description: Class of integral domains.

		Ref	Expression
	Assertion	cidom	class IDomn