cfinxp - Mathbox for ML

	Mathbox for ML		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cfinxp		Structured version Visualization version GIF version

Syntax Definition cfinxp 35481

Description: Extend the definition of a class to include Cartesian exponentiation.

**Hypotheses**
Ref	Expression
cU	class 𝑈
cN	class 𝑁

**Assertion**
Ref	Expression
cfinxp	class (𝑈↑↑𝑁)

See definition df-finxp 35482 for more information.

Colors of variables: wff setvar class