Metamath Proof Explorer


Syntax definition cgoe

Description: The Godel-set of membership.

Ref Expression
Assertion cgoe
class e.g