Proofgold Proposition

type
prop

theory
HotG

name
conj_CSNo_1

proof
PUQvq..

Megalodon
conj_CSNo_1

proofgold address
TMc37..^conj_CSNo_1

creator
28444 PrQUS../02bf1..

owner
28444 PrQUS../02bf1..

term root
63285..