Proofgold Proposition

type
prop

theory
HotG

name
OSNo_p0_0

proof
PUdK2..

Megalodon
OSNo_p0_0

proofgold address
TMcKU..^OSNo_p0_0

creator
28513 PrQUS../847de..

owner
28513 PrQUS../847de..

term root
6e03c..