Proofgold Object

∀ x0 : ο . x0 ⟶ x0

type
ο

theory
HoTg

name
True

definition
PUdeW..

Megalodon
-

proofgold address
TMLox..

creator
1652 PrGxv../352e6..

owner
1652 PrGxv../352e6..

term root
f81b3..