Proofgold Object

type
ι → ι

theory
HotG

name
HSNo_proj1

definition
PUgzA..

Megalodon
HSNo_proj1

proofgold address
TMJAe..^HSNo_proj1

creator
28464 PrQUS../f56c0..

owner
28464 PrQUS../f56c0..

term root
bc3d4..