Proofgold Proposition

type
prop

theory
HotG

name
conj_HSNo_1

proof
PUgzA..

Megalodon
conj_HSNo_1

proofgold address
TMKUQ..^conj_HSNo_1

creator
28464 PrQUS../c2d89..

owner
28464 PrQUS../c2d89..

term root
6face..