Proofgold Object

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

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

theory
HotG

name
-

definition
PUY4m..

Megalodon
-

proofgold address
TMcpM..

creator
28250 PrQUS../57153..

owner
28250 PrQUS../57153..

term root
579bf..