Proofgold Object

λ x0 x1 . d7cf0.. x0 (λ x2 . x1)

type
ι → ι → ι

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMGb3..

creator
1880 PrGxv../5e6f3..

owner
1880 PrGxv../5e6f3..

term root
2059c..