Syntax definition cscaf

Description: The functionalization of the scalar multiplication operation.

	Ref	Expression
Assertion	cscaf	class ·sf