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\mathrm{GoldbachEven}$$