Metamath Proof Explorer


Syntax definition cxps

Description: Binary product structure function.

Ref Expression
Assertion cxps
class Xs.