Exponentiation on peano.
Exponentiation on peano.

(I proved these new theorems in 3h15m, using only the ghilbert web interface
running on a Nexus 7 tablet and a bluetooth keyboard.  I feel this speaks well
to the usability of the interface.)

kryptine/ghilbert,kryptine/ghilbert,raphlinus/ghilbert,jkingdon/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,jkingdon/ghilbert