Metamath Proof Explorer


Syntax definition cexps

Description: Declare the syntax for surreal exponentiation.

Ref Expression
Assertion cexps Could not format assertion : No typesetting found for class ^su with typecode class