Proofgold Proposition

type
prop

theory
HotG

name
minus_CSNo_0

proof
PUQvq..

Megalodon
minus_CSNo_0

proofgold address
TMUm4..^minus_CSNo_0

creator
28444 PrQUS../47925..

owner
28444 PrQUS../47925..

term root
733a7..