Metamath Proof Explorer


Syntax definition cgoa

Description: The Godel-set of conjunction.

Ref Expression
Assertion cgoa class 𝑔