Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∃ x2 . and (SNo x2) (x0 = f4b0e.. (6b27d.. x0) (e5fe3.. x0) x1 x2)))

type
ι → ι

theory
HotG

name
-

definition
PUVHe..

Megalodon
-

proofgold address
TMZcV..

creator
28248 PrQUS../cf15a..

owner
28248 PrQUS../cf15a..

term root
040f1..