Proofgold Proposition

type
prop

theory
HotG

name
OSNo_p0_i0

proof
PUdK2..

Megalodon
OSNo_p0_i0

proofgold address
TMUEQ..^OSNo_p0_i0

creator
28513 PrQUS../95f59..

owner
28513 PrQUS../95f59..

term root
c9a02..