Metamath Proof Explorer


Syntax definition csdm

Description: Extend class definition to include the strict dominance relation (curly less-than)

Ref Expression
Assertion csdm class