Proofgold Object

λ x0 x1 x2 x3 x4 : ι → ι . λ x5 . prim0 (λ x6 . and (SNo x6) (∃ x7 . and (SNo x7) (∃ x9 . and (SNo x9) (x5 = bbc71.. (x0 x5) (x1 x5) (x2 x5) (x3 x5) (x4 x5) x6 x7 x9))))

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

theory
HotG

name
-

definition
PUY4m..

Megalodon
-

proofgold address
TMZGm..

creator
28250 PrQUS../e0f74..

owner
28250 PrQUS../e0f74..

term root
91cba..