Proofgold Proposition

type
prop

theory
HotG

name
Re_i

proof
PUQvq..

Megalodon
Re_i

proofgold address
TMJBW..^Re_i

creator
28444 PrQUS../ae100..

owner
28444 PrQUS../ae100..

term root
016d8..