Metamath Proof Explorer


Syntax definition cgt

Description: Extend wff notation to include the 'greater than' relation, see df-gt .

Ref Expression
Assertion cgt class >