Syntax Definition cpprod 5738

Description: Extend the definition of a class to include the parallel product operation.

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
cpprod	class PProd (A, B)

See definition df-pprod 5739 for more information.