Metamath Proof Explorer


Syntax definition cdmn

Description: Extend class notation with the class of domains.

Ref Expression
Assertion cdmn class Dmn