Proofgold Object

type
ι → ι

theory
HotG

name
OSNo_proj1

definition
PUdK2..

Megalodon
OSNo_proj1

proofgold address
TMEjs..^OSNo_proj1

creator
28513 PrQUS../676f1..

owner
28513 PrQUS../676f1..

term root
c7764..