Proofgold Object

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

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

theory
HotG

name
-

definition
PURih..

Megalodon
-

proofgold address
TMbvc..

creator
9308 PrGxv../8a803..

owner
9308 PrGxv../8a803..

term root
aac1c..