Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∃ x2 . and (SNo x2) (∃ x4 . and (SNo x4) (∃ x6 . and (SNo x6) (x0 = f4b0e.. x1 x2 x4 x6)))))

type
ι → ι

theory
HotG

name
-

definition
PUVHe..

Megalodon
-

proofgold address
TMLDG..

creator
28248 PrQUS../4a624..

owner
28248 PrQUS../4a624..

term root
a833c..