Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (x0 = ad280.. (28f8d.. x0) x1))

type
ι → ι

theory
HotG

name
-

definition
PUN7o..

Megalodon
-

proofgold address
TMXTj..

creator
28161 PrQUS../46a96..

owner
28161 PrQUS../46a96..

term root
1cbea..