Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for ML
Cartesian exponentiation
cfinxp
Next ⟩
df-finxp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cfinxp
Description:
Extend the definition of a class to include Cartesian exponentiation.
Ref
Expression
Assertion
cfinxp
class ( U ^^ N )