Proofgold Proposition

type
prop

theory
HotG

name
OSNo_p0_i3

proof
PUdK2..

Megalodon
OSNo_p0_i3

proofgold address
TMSw4..^OSNo_p0_i3

creator
28513 PrQUS../9ddfa..

owner
28513 PrQUS../9ddfa..

term root
784dc..