Proofgold Proposition

type
prop

theory
HotG

name
minus_HSNo_0

proof
PUgzA..

Megalodon
minus_HSNo_0

proofgold address
TMMcR..^minus_HSNo_0

creator
28464 PrQUS../7e2a5..

owner
28464 PrQUS../7e2a5..

term root
176f5..