Syntax definition cprds

Description: The function constructing structure products.

	Ref	Expression
Assertion	cprds	$$class{⨉}_{𝑠}$$