Proofgold Object

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

type
ι → ι → ι

theory
HF

name
-

definition
PUUXB..

Megalodon
exp_nat

proofgold address
TMN4s..^exp_nat

creator
2207 PrJJf../4e2df..

owner
2207 PrJJf../4e2df..

term root
59c58..