Proofgold Object

λ x0 x1 : ((ι → ι → ι) → (ι → ι → ι) → ι → ι → ι) → ι → ι → ι . cc64c.. (355fd.. (x0 (λ x2 x3 : ι → ι → ι . x2)) (x1 (λ x2 x3 : ι → ι → ι . x2))) (355fd.. (x0 (λ x2 x3 : ι → ι → ι . x3)) (x1 (λ x2 x3 : ι → ι → ι . x3)))

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

theory
HotG

name
-

definition
PURih..

Megalodon
-

proofgold address
TMEjy..

creator
9308 PrGxv../4be9a..

owner
9308 PrGxv../4be9a..

term root
e705a..