Proofgold Object

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

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

theory
HotG

name
-

definition
PURih..

Megalodon
-

proofgold address
TMVGq..

creator
9308 PrGxv../e783b..

owner
9308 PrGxv../e783b..

term root
ebd11..