P
Initializing...
Verified natural exponentiation by repeated multiplication · Prove2Me