Syntax definition cdprd

Description: Internal direct product of a family of subgroups.

	Ref	Expression
Assertion	cdprd	class DProd