Syntax definition cdprd

Description: Internal direct product of a family of subgroups.

	Ref	Expression
Assertion	cdprd	$$class\mathrm{DProd}$$