Proofgold Object

λ x0 . λ x1 : ι → ι . nat_primrec 0 (λ x2 x3 . add_nat x3 (x1 x2)) x0

type
ι → (ι → ι) → ι

theory
HotG

name
Sigma_nat

definition
PUKRi..

Megalodon
-

proofgold address
TMdze..

creator
15508 Pr4zB../60fc8..

owner
15508 Pr4zB../60fc8..

term root
0b45f..