Metamath Proof Explorer


Syntax definition cpprod

Description: Declare the syntax for the parallel product.

Ref Expression
Assertion cpprod class pprod R S