Proofgold Proposition

type
prop

theory
HotG

name
conj_OSNo_1

proof
PUdK2..

Megalodon
conj_OSNo_1

proofgold address
TMNi2..^conj_OSNo_1

creator
28513 PrQUS../ab7f8..

owner
28513 PrQUS../ab7f8..

term root
eb753..