Proofgold Object

λ x0 x1 : ι → ι . λ x2 . prim0 (λ x3 . and (SNo x3) (∃ x4 . and (SNo x4) (∃ x6 . and (SNo x6) (∃ x8 . and (SNo x8) (∃ x10 . and (SNo x10) (∃ x12 . and (SNo x12) (x2 = bbc71.. (x0 x2) (x1 x2) x3 x4 x6 x8 x10 x12)))))))

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

theory
HotG

name
-

definition
PUY4m..

Megalodon
-

proofgold address
TMRtX..

creator
28250 PrQUS../9dc58..

owner
28250 PrQUS../9dc58..

term root
60027..