Database
BASIC ALGEBRAIC STRUCTURES
Ideals
Left regular elements. More kinds of rings
cidom
Next ⟩
cpid
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cidom
Description:
Class of integral domains.
Ref
Expression
Assertion
cidom
class IDomn