Metamath Proof Explorer

Syntax definition cxps

Description: Binary product structure function.

Ref Expression
Assertion cxps 
class Xs.