Proofgold Proposition

type
prop

theory
HotG

name
conj_OSNo_0

proof
PUdK2..

Megalodon
conj_OSNo_0

proofgold address
TMb1Y..^conj_OSNo_0

creator
28513 PrQUS../32ddf..

owner
28513 PrQUS../32ddf..

term root
898c2..