Metamath Proof Explorer


Syntax definition cwdom

Description: Class symbol for the weak dominance relation.

Ref Expression
Assertion cwdom
class ~<_*