Proofgold Proposition

type
prop

theory
HotG

name
nat_9

proof
PUVhm..

Megalodon
nat_9

proofgold address
TMFBY..^nat_9

creator
12595 PrGxv../0231a..

owner
12595 PrGxv../0231a..

term root
b80bd..