Proofgold Proposition

type
prop

theory
HotG

name
OSNo_1

proof
PUdK2..

Megalodon
OSNo_1

proofgold address
TMR2J..^OSNo_1

creator
28513 PrQUS../43f77..

owner
28513 PrQUS../43f77..

term root
76552..