cafs - Mathbox for Thierry Arnoux

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

Syntax Definition cafs 34701

Description: Declare the syntax for the outer five segment configuration.

**Assertion**
Ref	Expression
cafs	class AFS

See definition df-afs 34702 for more information.

Colors of variables: wff setvar class