Proofgold Proposition

type
prop

theory
HotG

name
conj_HSNo_0

proof
PUgzA..

Megalodon
conj_HSNo_0

proofgold address
TMY9H..^conj_HSNo_0

creator
28464 PrQUS../e099e..

owner
28464 PrQUS../e099e..

term root
0665e..