Database
BASIC ALGEBRAIC STRUCTURES
Rings
Left regular elements and domains
cidom
Next ⟩
df-rlreg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cidom
Description:
Class of integral domains.
Ref
Expression
Assertion
cidom
class
IDomn