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 Unicode version

Syntax Definition cgbo 41635

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	GoldbachOdd

See definition df-gbo 41638 for more information.

Colors of variables: wff setvar class