Syntax Definition coe 3103

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

Assertion

Ref	Expression
coe	class ^o

See definition df-oexp 3108 for more information.

metamath.org