Metamath Proof Explorer


Syntax definition cgna

Description: The Godel-set for the Sheffer stroke.

Ref Expression
Assertion cgna
class |g