Proofgold Object

λ x0 x1 x2 . λ x3 x4 : ι → ι → ι . λ x5 x6 x7 . nat_primrec x1 (λ x8 . x3 (x4 (f482f.. x6 x8) (explicit_Ring_with_id_exp_nat x0 x1 x2 x3 x4 x7 x8))) x5

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

theory
HoTg

name
-

definition
PULFy..

Megalodon
-

proofgold address
TMT4e..

creator
4808 PrGxv../2e680..

owner
4808 PrGxv../2e680..

term root
96798..