Proofgold Object

∀ x0 : ο . x0 ⟶ x0

type
ο

theory
HotG

name
True

definition
PUL8Q..

Megalodon
True

proofgold address
TMdZy..^True

creator
4882 Pr6Pc../3e063..

owner
4882 Pr6Pc../3e063..

term root
f81b3..