Proofgold Object

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

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

theory
HotG

name
-

definition
PUY4m..

Megalodon
-

proofgold address
TMNBC..

creator
28250 PrQUS../1d4a3..

owner
28250 PrQUS../1d4a3..

term root
9166d..