Proofgold Object

∀ x0 : ο . x0

type
ο

theory
HOAS

name
False

definition
PUcHm..

Megalodon
-

proofgold address
TMV15..

creator
1745 PrGxv../60c81..

owner
1745 PrGxv../60c81..

term root
1db70..