Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∃ x2 . and (SNo x2) (x0 = ad280.. x1 x2)))

type
ι → ι

theory
HotG

name
-

definition
PUN7o..

Megalodon
-

proofgold address
TMLVA..

creator
28161 PrQUS../8ecdb..

owner
28161 PrQUS../8ecdb..

term root
32eb0..