cgbo - Mathbox for Alexander van der Vekens

	Mathbox for Alexander van der Vekens		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cgbo		Structured version Visualization version GIF version

Syntax Definition cgbo 45151

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.

**Assertion**
Ref	Expression
cgbo	class GoldbachOdd

See definition df-gbo 45154 for more information.

Colors of variables: wff setvar class