Metamath Proof Explorer


Syntax definition cfinxp

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

Ref Expression
Assertion cfinxp
class ( U ^^ N )