Database
BASIC STRUCTURES
Extensible structures
Definition of the structure product
cpws
Next ⟩
df-prds
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cpws
Description:
The function constructing structure powers.
Ref
Expression
Assertion
cpws
class ^s