Database
BASIC STRUCTURES
Extensible structures
Definition of the structure product
cprds
Next ⟩
cpws
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cprds
Description:
The function constructing structure products.
Ref
Expression
Assertion
cprds
class
X
s