Proofgold Proposition

type
prop

theory
HotG

name
nat_12

proof
PUVhm..

Megalodon
nat_12

proofgold address
TMS57..^nat_12

creator
12595 PrGxv../c1d2c..

owner
12595 PrGxv../c1d2c..

term root
34534..