Proofgold Object

type
ι → ι

theory
HotG

name
HSNo_proj0

definition
PUgzA..

Megalodon
HSNo_proj0

proofgold address
TMZLt..^HSNo_proj0

creator
28464 PrQUS../007e5..

owner
28464 PrQUS../007e5..

term root
93f0b..