Syntax definition csmu

Description: Define the sequence multiplication on bit sequences.

	Ref	Expression
Assertion	csmu	$$class\mathrm{smul}$$