Metamath Proof Explorer


Syntax definition cxps

Description: Binary product structure function.

Ref Expression
Assertion cxps class × 𝑠