Proofgold Proposition

type
prop

theory
HotG

name
OSNo_p1_i

proof
PUdK2..

Megalodon
OSNo_p1_i

proofgold address
TMFFQ..^OSNo_p1_i

creator
28513 PrQUS../859f6..

owner
28513 PrQUS../859f6..

term root
04130..