Metamath Proof Explorer


Syntax definition cgbe

Description: Extend the definition of a class to include the set of even numbers which have a Goldbach partition.

Ref Expression
Assertion cgbe class GoldbachEven