Proofgold Proposition

type
prop

theory
HotG

name
Re_0

proof
PUQvq..

Megalodon
Re_0

proofgold address
TMMLc..^Re_0

creator
28444 PrQUS../cad19..

owner
28444 PrQUS../cad19..

term root
cd467..