Proofgold Object

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

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

theory
HotG

name
-

definition
PUY4m..

Megalodon
-

proofgold address
TMdtw..

creator
28250 PrQUS../ea6ff..

owner
28250 PrQUS../ea6ff..

term root
e75aa..