Proofgold Proposition

type
prop

theory
HotG

name
OSNo_0

proof
PUdK2..

Megalodon
OSNo_0

proofgold address
TMS9t..^OSNo_0

creator
28513 PrQUS../1ca52..

owner
28513 PrQUS../1ca52..

term root
6ebd1..