Proofgold Object

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

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

theory
HotG

name
-

definition
PUY4m..

Megalodon
-

proofgold address
TMGNc..

creator
28250 PrQUS../3162f..

owner
28250 PrQUS../3162f..

term root
170bf..