Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∀ x2 : ο . (∀ x3 . and (SNo x3) (∀ x4 : ο . (∀ x5 . and (SNo x5) (∀ x6 : ο . (∀ x7 . and (SNo x7) (x0 = f4b0e.. x1 x3 x5 x7) ⟶ x6) ⟶ x6) ⟶ x4) ⟶ x4) ⟶ x2) ⟶ x2))

type
ι → ι

theory
HotG

name
-

definition
PUVHe..

Megalodon
-

proofgold address
TMLDG..

creator
28248 PrQUS../4a624..

owner
28248 PrQUS../4a624..

term root
a833c..