Proofgold Object

∀ x0 : ο . x0 ⟶ x0

type
ο

theory
HOAS

name
True

definition
PUcHm..

Megalodon
-

proofgold address
TMaMk..

creator
1745 PrGxv../d3441..

owner
1745 PrGxv../d3441..

term root
f81b3..