Prove the basic facts about ordinal exponentiation
Opened this issue · 0 comments
sudgy commented
The definition is there, I just need to take the time to prove basic theorems like α^(β+ γ) = α^β * α^γ.
Opened this issue · 0 comments
The definition is there, I just need to take the time to prove basic theorems like α^(β+ γ) = α^β * α^γ.