Proofgold Object

λ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . λ x1 x2 . x1 ∈ u17 ⟶ x2 ∈ u17 ⟶ 479e1.. x0 (x0 x1) (x0 x2) = λ x4 x5 . x4

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

theory
HotG

name
-

definition
PUY1p..

Megalodon
-

proofgold address
TMGUP..

creator
19193 Pr4zB../5af27..

owner
19193 Pr4zB../5af27..

term root
00cf3..