Proofgold Object

λ x0 . nat_primrec 1 (λ x1 . mul_nat x0)

type
ι → ι → ι

theory
HotG

name
exp_nat

definition
PUfRN..

Megalodon
exp_nat

proofgold address
TMEwK..^exp_nat

creator
4972 Pr6Pc../6009e..

owner
4972 Pr6Pc../6009e..

term root
37c53..