Metamath Proof Explorer


Syntax definition cdomn

Description: Class of (ring theoretic) domains.

Ref Expression
Assertion cdomn
class Domn