Proofgold Object

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

type
ι → (ι → ι) → ι → ι

theory
HF

name
-

definition
PURiK..

Megalodon
-

proofgold address
TMFJm..

creator
2058 PrGxv../e070b..

owner
2058 PrGxv../e070b..

term root
5b814..