Exponent

Exponentiation is defined using repeated multiplication: (= (exp A B) (product (1) B (lambda y A))) /edit/peano/peano_thms.gh/df-exp.

Properties

Examples

Arithmetic Overview

Login to edit