Proofgold Object

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

type
(ι → ι) → ι → ι

theory
HotG

name
-

definition
PUY4m..

Megalodon
-

proofgold address
TMa8q..

creator
28250 PrQUS../ad440..

owner
28250 PrQUS../ad440..

term root
01f77..