Proofgold Proposition

type
prop

theory
HotG

name
nat_7

proof
PUVhm..

Megalodon
nat_7

proofgold address
TMLFk..^nat_7

creator
12595 PrGxv../672e3..

owner
12595 PrGxv../672e3..

term root
c2e74..