Metamath Proof Explorer


Syntax definition cgbo

Description: Extend the definition of a class to include the set of odd numbers which can be written as a sum of three odd primes.

Ref Expression
Assertion cgbo class GoldbachOdd