Proofgold Object

∀ x0 : ο . x0

type
ο

theory
HoTg

name
False

definition
PUgom..

Megalodon
-

proofgold address
TMSx6..

creator
1652 PrGxv../d958e..

owner
1652 PrGxv../d958e..

term root
1db70..