from coursepy.math.peano import *

def peano_pow(base, power):
    assert peanop(base) and peanop(power)
    if zerop(power):
        return succ(zero())
    else:
        return  peano_mult(base, peano_pow(base, power[0]))
Download .ipynb Download .py