Metamath Proof Explorer

Syntax definition cexps

Description: Declare the syntax for surreal exponentiation.

Ref Expression
Assertion cexps 
class ^su