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 32549

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

**Assertion**
Ref	Expression
cafs	class AFS

See definition df-afs 32550 for more information.

Colors of variables: wff setvar class