Metamath Proof Explorer


Syntax definition cgob

Description: The Godel-set of equivalence.

Ref Expression
Assertion cgob
class <->g