carchi - Mathbox for Thierry Arnoux

	Mathbox for Thierry Arnoux		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > carchi		Structured version Visualization version GIF version

Syntax Definition carchi 30799

Description: Class notation for the Archimedean property.

**Assertion**
Ref	Expression
carchi	class Archi

See definition df-archi 30801 for more information.

Colors of variables: wff setvar class