Ordinal exponentiation

Redirect page