Database
BASIC ALGEBRAIC STRUCTURES
Rings
Left regular elements and domains
cdomn
Next ⟩
cidom
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdomn
Description:
Class of (ring theoretic) domains.
Ref
Expression
Assertion
cdomn
class
Domn