cmsa - Mathbox for Mario Carneiro

	Mathbox for Mario Carneiro		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cmsa		Structured version Visualization version GIF version

Syntax Definition cmsa 33548

Description: The set of syntax axioms.

**Assertion**
Ref	Expression
cmsa	class mSA

See definition df-msa 33558 for more information.

Colors of variables: wff setvar class