Syntax definition cascl

Description: Class of algebra scalar injection function.

	Ref	Expression
Assertion	cascl	$$class\mathrm{algSc}$$