Metamath Proof Explorer


Syntax definition cprds

Description: The function constructing structure products.

Ref Expression
Assertion cprds class Xs