Syntax definition casa

Description: Associative algebra.

	Ref	Expression
Assertion	casa	$$class\mathrm{AssAlg}$$