Proofgold Object

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

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

theory
HotG

name
-

definition
PUStC..

Megalodon
-

proofgold address
TMd3s..

creator
35044 PrHS6../7452b..

owner
35044 PrHS6../7452b..

term root
6ba41..